Etude des Causes de la différenciation des cellules nerveuses dans les cultures in vitro

Etude des symétries dans les modèles finis

Finite modele search for first order logic theories is a complementary alternative to automated deduction. Systems like Falcon, SEM and FMSET use the LNH(Least Number Heuristic) heuristic to eliminate some trivial symmetries. Such symmetries are worthful, but their exploitation is limited to the first levels of the model search tree, since they desappear as soon as the first cells have been ins...

Etude du cuivre et de l'hémocupreine sanguin dans la maladie de Chalcopenie des ovidés en Iran

Etude des Interactions Temporisées dans la Composition de Services Web

ion par variables Afin de tenir compte des communications asynchrones, nous avons proposé d’abstraire les messages, qui correspondent à la notion de canal, par des variables. L’idée de base est de représenter chaque message par une variable dont la valeur initiale est égale à zéro. Le but est de représenter les mêmes types de messages ayant les mêmes types de données par la même variable. Ce ty...

Adaptation de Virus de la Pest Equine à la culture des cellules

Identifier la cible des émotions dans les forums de santé

Résumé : Les forums de santé en ligne sont des espaces d’échanges où les patients partagent leurs sentiments à propos de leur(s) maladie(s), traitement(s), etc. Sous couvert d’anonymat, ils expriment très librement leurs expériences personnelles. Ces forums sont donc une source d’informations très utile pour les professionnels de santé afin de mieux identifier et comprendre les problèmes, les c...